An Interactive Approach for Identifying Structure Definitions
نویسندگان
چکیده
منابع مشابه
Scaling production and improving efficiency in DEA: an interactive approach
DEA models help a DMU to detect its (in-)efficiency and to improve activities, if necessary. Efficiency is only one economic aim for a decision-maker; however, up- or downsizing might be a second one. Improving efficiency is the main topic in DEA; the long-term strategy towards the right production size should attract our attention as well. Not always the management of a DMU primarily focuses o...
متن کاملAn Evaluation Method for Identifying Information Structure
To correctly deal with context-dependent linguistic forms in NLP systems, the literature has pointed out the importance of identifying ‘information structure’ (organization of information within an utterance). However, there has been no report of evaluating such procedures. This paper presents a noble evaluation procedure and compares three models of identifying information structure in exposit...
متن کاملMaking Maude Definitions More Interactive
This paper presents an interface for achieving interactive executions of Maude terms by allowing console and file input/output (I/O) operations. This interface consists of a Maude API for I/O operations, a Java-based server offering I/O capabilities, and a communication protocol between the two implemented using the external objects concept and Maude’s TCP sockets. This interface was evaluated ...
متن کاملGESearch: An Interactive GUI Tool for Identifying Gene Expression Signature
The huge amount of gene expression data generated by microarray and next-generation sequencing technologies present challenges to exploit their biological meanings. When searching for the coexpression genes, the data mining process is largely affected by selection of algorithms. Thus, it is highly desirable to provide multiple options of algorithms in the user-friendly analytical toolkit to exp...
متن کاملAn Interactive Algebra Course with Formalised Proofs and Definitions
We describe a case-study of the application of web-technology (Helm [2]) to create web-based didactic material out of a repository of formal mathematics (C-CoRN [5]), using the structure of an existing course (IDA [4]). The paper discusses the difficulties related to associating notation to a formula, the embedding of formal notions into a document (the “view”), and the rendering of proofs.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Graphics Forum
سال: 2022
ISSN: ['1467-8659', '0167-7055']
DOI: https://doi.org/10.1111/cgf.14543